<?php 
	echo cms_page_menu($menu,'mainmenu'); 
?>